Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
361	A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-06-01 10:48:09 Algebra Algebraic structures Data mining Formal concept analysis Machine learning Ontology Complete lattice Lattice Lattice Miner Abstract algebra Lattice theory Mathematics
362	Not A Sure Thing: Fitness, Probability and Causation Denis Walsh (Toronto) Abstract: This is a defence of the statistical interpretation of fitness. I distinguish three conceptions of fitness by differentiating three int Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2008-05-06 10:57:47 Philosophy of biology Selection Fitness Natural selection Evolution Polymorphism Causality Evolutionary biology Population genetics Biology
363	A Note on the Transitivity of Parthood Achille C. Varzi Department of Philosophy, Columbia University (New York) [Final version published in Applied Ontology 1:[removed]), 141–[removed]Abstract. That parthood is a transiti Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2006-09-28 10:38:18 Semantics Predicate logic Mereology Model theory Functions and mappings Function Interpretation Predicate Intransitivity Mathematics Mathematical logic Logic
364	Belief update across fission∗ Wolfgang Schwarz 14 March 2014 Abstract. When an agent undergoes fission, how should the beliefs of the fission results relate to the pre-fission beliefs? This question is important for th Add to Reading List Source URL: www.umsu.de Language: English Epistemology Probability theory Bayesian statistics Bayesian probability Philosophy of science Sleeping Beauty problem Dempster–Shafer theory Many-worlds interpretation Proposition Logic Science Mathematics
365	Proving the Principal Principle∗ Wolfgang Schwarz 28 May 2014 Abstract. Any credible interpretation of objective chance should make sense of the connection between objective chance and rational degree of belief. Ideall Add to Reading List Source URL: www.umsu.de Language: English Epistemology Probability and statistics Mathematics Bayesian statistics Probability space Propensity probability Frequency probability Expected value Sleeping Beauty problem Probability theory Probability Probability interpretations
366	The Effect of Mind upon Brain Henry P. Stapp Lawrence Berkeley National Laboratory University of California Berkeley, California[removed]Abstract Add to Reading List Source URL: newdualism.org Language: English - Date: 2013-10-21 16:56:32 Interpretation Philosophy of physics Causality Interpretations of quantum mechanics Introduction to quantum mechanics Mechanics Free will Reality Quantum state Physics Quantum mechanics Quantum measurement
367	Supervaluationism and Its Logics Achille C. Varzi Department of Philosophy, Columbia University (New York) [Final version published in Mind[removed]), [removed]Abstract. If we adopt a supervaluational semantics for vagu Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2007-11-20 02:19:09 Philosophical logic Deduction Logical consequence Philosophy of language Entailment Vagueness Interpretation Validity Modal logic Logic Philosophy Semantics
368	Presuppositions and Local Contexts Philippe Schlenker Institut Jean-Nicod and New York University The final version appears in Mind, 119, 474: [removed], 2010 Abstract: In the last thirty years, the problem of presupposit Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2011-08-29 17:44:59 Logic Semantics Discourse analysis Presupposition Social philosophy Robert Stalnaker Modal logic Interpretation Speech act Linguistics Pragmatics Philosophy of language
369	ARTICLES ___________________________________________________________ SACHA B. GIRONDE On Zalta’s Notion of Encoding in Conceivability-Contexts Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:47:43 Ontology Modal logic Semantics Non-classical logic Philosophical logic Intensional logic Interpretation Abstract object Definition Logic Philosophy Mathematical logic
370	Environment Unrolling Steven Lyde and Matthew Might University of Utah Abstract. We propose a new way of thinking about abstract interpretation with a method we term environment unrolling. Model checkers for imperative l Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Metalogic Model theory Normal distribution

UPDATE